<html>
  <body>
    <script src="./devtools.js"></script>
  </body>
</html>